English dynamic type checking: תרגום לשפות אחרות